61. Current trends in concurrency :
المؤلف: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
62. Cybernetics and systems '86 :
المؤلف: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
63. Declarative programming and knowledge management :
المؤلف: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
64. Energy minimization methods in computer vision and pattern recognition :
المؤلف: Marcello Pelillo, Edwin Hancock (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
رده :
TA1634
.
E44
2017eb
65. Engineering trustworthy software systems :
المؤلف: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
66. Evolvable systems
المؤلف: Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
67. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
المؤلف: Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
رده :
QA
76
.
L28
Vol
.
1259
68. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
69. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
المؤلف: Michael Fisher, Richard Owens )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
70. Exploring the early digital /
المؤلف: Thomas Haigh, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
71. Extensions of logic programming
المؤلف: E. Lamma, P. Mello, eds.
المکتبة: (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
72. Extensions of logic programming
المؤلف: E. Lamma, P. Mello, eds.
المکتبة: (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
73. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
المؤلف: P. Schroeder-Heister, ed
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
74. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
75. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
المؤلف: L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
596
76. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
المؤلف: Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
77. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
المؤلف: Roy Dyckhoff )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
78. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
المؤلف: ELP '29 )2991: Bologna, Italy(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
79. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
المؤلف: E. Lamma, P. Mello, eds
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
80. Fields of Logic and Computation II
المؤلف: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
